36 research outputs found
The decomposition of the hypermetric cone into L-domains
The hypermetric cone \HYP_{n+1} is the parameter space of basic Delaunay
polytopes in n-dimensional lattice. The cone \HYP_{n+1} is polyhedral; one
way of seeing this is that modulo image by the covariance map \HYP_{n+1} is a
finite union of L-domains, i.e., of parameter space of full Delaunay
tessellations.
In this paper, we study this partition of the hypermetric cone into
L-domains. In particular, it is proved that the cone \HYP_{n+1} of
hypermetrics on n+1 points contains exactly {1/2}n! principal L-domains. We
give a detailed description of the decomposition of \HYP_{n+1} for n=2,3,4
and a computer result for n=5 (see Table \ref{TableDataHYPn}). Remarkable
properties of the root system are key for the decomposition of
\HYP_5.Comment: 20 pages 2 figures, 2 table
Graphs that are isometrically embeddable in hypercubes
A connected 3-valent plane graph, whose faces are - or 6-gons only, is
called a {\em graph }. We classify all graphs , which are isometric
subgraphs of a -hypercube .Comment: 18 pages, 25 drawing
Classification of eight dimensional perfect forms
In this paper, we classify the perfect lattices in dimension 8. There are
10916 of them. Our classification heavily relies on exploiting symmetry in
polyhedral computations. Here we describe algorithms making the classification
possible.Comment: 14 page
On the sum of the Voronoi polytope of a lattice with a zonotope
A parallelotope is a polytope that admits a facet-to-facet tiling of
space by translation copies of along a lattice. The Voronoi cell
of a lattice is an example of a parallelotope. A parallelotope can be
uniquely decomposed as the Minkowski sum of a zone closed parallelotope and
a zonotope , where is the set of vectors used to generate the
zonotope. In this paper we consider the related question: When is the Minkowski
sum of a general parallelotope and a zonotope a parallelotope? We give
two necessary conditions and show that the vectors have to be free. Given a
set of free vectors, we give several methods for checking if is
a parallelotope. Using this we classify such zonotopes for some highly
symmetric lattices.
In the case of the root lattice , it is possible to give a more
geometric description of the admissible sets of vectors . We found that the
set of admissible vectors, called free vectors, is described by the well-known
configuration of lines in a cubic. Based on a detailed study of the
geometry of , we give a simple characterization of the
configurations of vectors such that is a
parallelotope. The enumeration yields maximal families of vectors, which
are presented by their description as regular matroids.Comment: 30 pages, 4 figures, 4 table